More from this Author

Hardware and Software: Verification and Testing

by Sharon Barner (Editor), Ian Harris (Editor), Daniel Kroening (Editor), Orna Raz (Editor)